Software for Programing Contest

Large-Scale Programing Code Dissemination for Software-Defined Wireless Networks

Functional Programing

Welcome to the rst functional programming column! Functional programmers and formal methoders have much to say to each other, and this column is intended to further such communication. Functional programming supports formal methods. A large number of proof systems and other formal methods packages have been implemented in functional languages. ML, the doyen of functional languages, takes its na...

Incorporating Dynamic Analysis and Approximate Reasoning for Declarative Meta-Programing in a Software Re-engineering Setting

Software re-engineering is a complex process in which a maintainer is confronted with the challenging task of understanding the design of an existing application of which the documentation is often non-existent or no longer up-to-date. To support the software engineer in this precarious undertaking, many design recovery tools based upon declarative meta-programming techniques have been proposed...

The Contest for Aid

Countries compete with one another for funds distributed by nongovernment organizations (NGOs). We examine the competition over poverty and governance conducted by a NGO in the allocation of its funds among potential recipient countries. The NGO in its decisionmaking process also takes into account the initial conditions of each potential recipient, including the current quality of governance a...

Reference site for educational software

This article has no abstract.